Project-Team Pesto
Personnel
Overall Objectives
Context
Objectives
Research Program
Modelling
Analysis
Design
Application Domains
Formal methods for cryptographic protocols
Automated reasoning
Electronic voting
Privacy in social networks
Highlights of the Year
New Software and Platforms
Akiss
Belenios
CL-AtSe
Deepsec
Tamarin
SAPIC
TypeEquiv
New Results
Modelling
Analysis
Design
Bilateral Contracts and Grants with Industry
Scytl - Electronic Voting Systems
Canton of Geneva - Electronic Voting Systems
Docapost - Electronic Voting Systems
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2017
|
Presentation of the Project-Team PESTO
|
PESTO Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
David Galindo (Univ Birmingham), June 2017
Bogdan Warinschi (Univ Bristol), November 2017
Previous |
Home
| Next